Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Quizás quisiste decir: verificación de programa de computación
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir…8 kB (1022 palabras) - 20:56 25 dic 2023
ciencias de la computación o ciencias de la informática son las ciencias formales que abarcan las bases teóricas de la información y la computación, así como…53 kB (5869 palabras) - 13:35 22 abr 2024
La informática social o computación social es un término general para definir un área de la informática que se ocupa de la interacción entre la conducta…3 kB (406 palabras) - 23:18 20 abr 2023- En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software. Existen dos…1 kB (129 palabras) - 21:20 17 sep 2020
estudio riguroso de la computación, los informáticos trabajan con una abstracción matemática de los ordenadores llamada modelo de computación. Hay varios modelos…20 kB (2356 palabras) - 10:03 19 abr 2024- El Programa de computación y simulación avanzada (o ASC, por sus siglas en inglés) es un programa de supercomputación administrado por la Administración…10 kB (1122 palabras) - 09:39 19 abr 2024
Edsger Dijkstra (categoría Miembros de la Real Academia de Artes y Ciencias de los Países Bajos)ACM PODC Influential Paper Award en computación distribuida por su trabajo en la autoestabilización en programas computacionales. Este premio fue renombrado…20 kB (2377 palabras) - 07:59 8 abr 2024
Amir Pnueli (categoría Miembros de la Academia Israelí de Ciencias y Humanidades)lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas. Nacido en Nahalal (Israel)…2 kB (203 palabras) - 18:07 4 ene 2024- siguiente, se utiliza el modelo de computación evolutiva para describir cuatro clases de computación, tres de los cuales dependen de los seres humanos en algún…35 kB (4283 palabras) - 11:19 25 dic 2023
- Compilador verificante (categoría Wikipedia:Páginas con referencias sin URL y con fecha de acceso)realizar una correspondencia entre la teoría de la computación y las aplicaciones de software. El desarrollo de un compilador verificante es una herramienta…4 kB (489 palabras) - 17:58 27 feb 2022
Mathcad (categoría Introducciones relacionadas a la ciencia de la computación de 1986)Mathcad es un software de computadora diseñado principalmente para la verificación, validación, documentación y re-uso de cálculos de ingeniería. Se introdujo…4 kB (257 palabras) - 18:33 23 ene 2024
Great Internet Mersenne Prime Search (categoría Computación distribuida)(GIMPS, "Gran búsqueda de números primos de Mersenne por Internet") es un proyecto de computación distribuida que utiliza los programas gratuitos Prime95 y…6 kB (527 palabras) - 17:58 22 ene 2024
Clementina (computadora) (categoría Wikipedia:Páginas con enlaces mágicos de ISBN)«Las mujeres de Clementina». Departamento de Computación. 2021. Consultado el 15 de mayo de 2021. Balmaceda, Daniel (17 de diciembre de 2019). «Clementina…7 kB (893 palabras) - 12:26 26 abr 2024
Manuel Blum (categoría Judíos de Venezuela)contribuciones a los fundamentos de la teoría de la complejidad computacional y su aplicación a la criptografía y la verificación de programas".[1][2][3][4] Sus…5 kB (492 palabras) - 09:59 25 abr 2024- Edward J. McCluskey (categoría Ingenieros de Estados Unidos)Eléctrica y Ciencias de la computación, así como Director del Centro de Computación Confiable. Él fundó el Laboratorio de Sistemas Digitales de Stanford (ahora…5 kB (537 palabras) - 14:54 5 ene 2024
- aspectos teóricos de las ciencias de la computación (por ejemploc cálculo lambda , verificación formal de programas, la teoría de tipos de Martin-Löf, entre…6 kB (506 palabras) - 19:17 24 ene 2024
- modelos de cómputo como las computadoras cuánticas, donde una misma tarea puede tener diferente complejidad en la computación clásica y en la computación cuántica…25 kB (3295 palabras) - 20:45 7 oct 2023
Internacionalización y localización (redirección desde Internacionalización (computación))el ámbito de la computación), abreviar internationalization con el numerónimo "i18n". Ello se debe a que entre la primera i y la última ene de dicha palabra…20 kB (2385 palabras) - 14:50 12 feb 2024- Ciencia computacional teórica (categoría Wikipedia:Páginas con enlaces mágicos de ISBN)ciencias de la computación teórica o ciencias de la informática teórica (TCS) es una división o un subconjunto de las ciencias de la computación y las matemáticas…23 kB (2534 palabras) - 23:48 3 feb 2024
- diseño de lenguajes de programación, teoría de tipos, intérpretes y compiladores, verificación de programas y modelos. Hay muchos enfoques a las semánticas…7 kB (988 palabras) - 12:40 16 may 2023
- normativa aplicable de los programas informáticos por equipos de computación según su tipo o modelo, el cual causa una tasa de cincuenta Unidades Tributarias
- creación de la empresa, se creó el certificado TCO. El certificado TCO, posee un sistema completo con medidas actualizadas, con verificación independiente
- aquellos que están acostumbrados a trabajar con programas propietarios. Además, algunos programas de software libre pueden tener una documentación limitada